$\forall$$T$:Type, $L$:($T$ List). hd(rev($L$)) $\sim$ last($L$)